\begin{longenum}
    \item FranjaHoraria
    \begin{longenum}
	\item hora\_inicio debe ser menor a hora\_fin
    \end{longenum}
    \item Contratado\_Para
    \begin{longenum}
	\item desde debe ser menor o igual a hasta
    \end{longenum}
     \item Area
    \begin{longenum}
	\item Emp. Jerárquico
	\begin{longenum}
	    \item Un Area no puede tener 2 empleados jerárquicos que la dirigen desde la misma fecha (es decir, los dos la dirigen al mismo tiempo)
	\end{longenum}
	\item Eventos
	\begin{longenum}
	    \item Los eventos de un Area no pueden haber ocurrido en una fecha anterior a la fecha en la que comenzó a ser dirigida por un empleado jerárquico
	\end{longenum}
	\item Emp. Profesional Contratado
	\begin{longenum}
		\item Un empleado profesional contratado no puede realizar dos tareas al mismo tiempo en un área en particular
		\item Un empleado profesional contratado no puede realizar dos tareas en dos áreas distintas al mismo tiempo
	\end{longenum}
	\item Emp. No-Profesional
	\begin{longenum}
		\item Todas las áreas a las que tienen acceso deben tener el mismo nivel de seguridad para el que fue capacitado
		\item No se puede cambiar el nivel de seguridad para el que un empleado fue capacitado si tiene asociadas areas
	\end{longenum}
		
	\item No se puede cambiar el nivel de seguridad de un área si los empleados que acceden a ella tienen un nivel de seguridad distinto al nuevo.
    \end{longenum}
    \item Accesos a un Area
    \begin{longenum}
	\item El primer acceso debe ser de tipo ingreso
	\item Todo acceso de tipo egreso debe tener un acceso de tipo ingreso autorizado anterior
	\item Si un acceso de ingreso no fue autorizado, no puede haber un acceso de egreso posterior al mismo
	\item Todos los accesos de egresos deber ser autorizados
	\item Si hay registros de acceso en áreas en las que un empleado no está autorizado, todos deben ser del tipo ingreso y no autorizados.
	\item Emp. Jerárquico
	\begin{longenum}
		\item Todos los ingresos/egresos deben pertenecer al área que dirige
	\end{longenum}
	\item Emp. Profesional Contratado
	\begin{longenum}
		\item Todos los ingresos/egresos deben pertenecer al/las áreas en las que estaba trabajando en ese período en particular
		\item Todos los ingresos/egresos deben estar dentro de la franja horaria que tiene asignada a esa área
	\end{longenum}
	\item Emp. No-Profesional
	\begin{longenum}
		\item Todos los ingresos/egresos autorizados deben pertenecer al área en la que trabaja
	\end{longenum}
    \end{longenum}

\end{longenum}
